5.87/13.38	unsat
