5.19/5.71	unsat
