13.87/13.93	unsat
