13.87/16.46	unsat
