14.96/18.15	unsat
