14.56/19.62	unsat
