20.84/23.28	unsat
