13.32/14.98	unsat
