5.87/5.91	unsat
