14.96/19.45	unsat
