5.75/7.39	unsat
