23.04/26.56	unsat
