5.15/6.83	unsat
