5.50/7.49	unsat
