5.19/6.68	unsat
