20.66/27.71	unsat
