20.87/23.28	unsat
