14.36/16.03	unsat
