21.88/23.71	unsat
