14.92/16.86	unsat
