5.69/5.71	unsat
