14.66/18.03	unsat
