21.87/26.99	unsat
