5.50/7.64	unsat
