5.50/5.86	unsat
