16.32/16.56	unsat
