13.27/14.46	unsat
