5.18/7.75	unsat
