21.89/23.65	unsat
