5.19/7.83	unsat
