14.85/18.90	unsat
