14.45/14.57	unsat
