21.76/26.48	unsat
