5.79/7.75	unsat
