13.86/16.98	unsat
