12.72/14.46	unsat
