5.17/7.43	unsat
