22.66/22.71	unsat
