13.87/13.98	unsat
