26.81/31.43	unsat
