4.89/7.64	unsat
