5.87/13.85	unsat
