13.79/14.46	unsat
