20.94/23.72	unsat
