31.43/31.68	unsat
