23.44/27.85	unsat
