5.68/5.71	unsat
