5.80/6.18	unsat
