312.28/313.06	unsat
