14.05/18.97	unsat
