4.19/6.91	unsat
